jamestmartin

followers

following

stars

https://jtm.dev

Organizations

LastArtistStanding

proglangdesign

James Martin's repositories

jamestmartin

My profile's README

1 20

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION010

zerover

0️⃣ Minimalist versioning scheme for devs who can't be bothered.

Language:CSSNOASSERTION000