Jesper Cockx - 6 Reasons in favor of a core language, and 5 against - discu.eu

Lobsters

6 Reasons in favor of a core language, and 5 against https://jesper.cx/posts/why-not-a-core-language.html 18 comments 16/2/2024 formalmethods , plt

Reddit

6 Reasons in favor of a core language, and 5 against (Agda) https://jesper.cx/posts/why-not-a-core-language.html 4 comments 16/2/2024 programming
6 Reasons in favor of a core language, and 5 against https://jesper.cx/posts/why-not-a-core-language.html 9 comments 16/2/2024 programminglanguages

Linking pages

Jesper Cockx - Agda Core: The Dream and the Reality https://jesper.cx/posts/agda-core.html 10 comments

Linked pages

GitHub - agda/agda2hs: Compiling Agda code to readable Haskell https://github.com/agda/agda2hs 0 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:jesper.cx

Search title: Jesper Cockx - 6 Reasons in favor of a core language, and 5 against

See how to search.

Submit link to: