added nix and probably did more I dont remember

This commit is contained in:
Zastian Pretorius
2022-06-18 16:49:38 +01:00
parent 106a426042
commit 42ecf6e4f5
12 changed files with 486 additions and 23 deletions

View File

@@ -132,7 +132,7 @@
;;fstar ; (dependent) types and (monadic) effects and Z3
;;gdscript ; the language you waited for
;;(go +lsp) ; the hipster dialect
(haskell +lsp) ; a language that's lazier than I am
;;(haskell +lsp) ; a language that's lazier than I am
;;hy ; readability of scheme w/ speed of python
;;idris ; a language you can depend on
;;json ; At least it ain't XML