Cj-bc
Follow
Lists (8)
games
1 repository
languages
interesting programming languages and resources1 repository
learning
1 repository
linux rice
3 repositories
specifications
Some official specifications or references to implement something1 repository
text editors
3 repositories
Unity
15 repositories
watch later
repositories to revisit in future17 repositories
Stars
1
star
written in Idris
Clear filter
A purely functional programming language with first class types