~retropikzel/idris2-tokyocabinet

/ d---------
0b035ded — retropikzel First commit 3 years ago
-rw-r--r--
.gitignore
16 bytes
-rw-r--r--
LICENSE
33.7 KiB
-rw-r--r--
Makefile
41 bytes
-rw-r--r--
TokyoCabinet.idr
1.5 KiB
-rw-r--r--
test.idr
380 bytes