The Nest
Explore
0
AVLTree work
Created by  fabian  on June 24, 2021
Z5TGJFFAN7TRV2SXI3RK2E6FL4XHGE4UDRCKNCNJ45KSCNXE6KUAC
Continue AVLTree
Created by  fabian  on June 20, 2021
3UNR6V4M3O7ABUVW7NXBQFPKQXOXIDIGPRNJKMEMQXIOQRN2W6RAC
Rotatable
Created by  fabian  on June 20, 2021
LNAC3RS7PTXXHYCCRFHXCUS7NZUFFZYJMH6YRHS4QO5COLIJYXXAC
AVLTree Experiments
Created by  fabian  on June 19, 2021
GR7VI5TDN5GJFQRS3NCCU2NWNWQL6SQOMASOKUJR6FROCQGSDC5AC
Add missing `%default total`
Created by  fabian  on June 19, 2021
OGAGWESA5SE6B2UY26DJ47V6AUVSNJ5NVPFPGAS4HATC2HPWDCBAC
Split Data.LinkedList
Created by  fabian  on June 19, 2021
BJGJCKMBY65UJSUP4DGEQVR2DZAXWDJKRVOGGTKQDQ4XAMBRLRZAC
Split Data.Natural
Created by  fabian  on June 19, 2021
37M6U67BGGKCHBINRKRCKR6QFBZQH7JAB6ZDYBAOQ7Q3XMFM5GWAC
Split Data.Boolean
Created by  fabian  on June 19, 2021
QJMKKLU2UF45IRLVJHSQQ6PHTLHHX34Z4ROJGQLBRQTMQ54D6G5AC
Add some stuff to verilude
Created by  fabian  on June 18, 2021
CLU4GXDAZVFXGVNJV7VDIEWNL5QERKRJJAQZPLJKH7SUGHMAZ74AC
Semigroup Natural
Created by  fabian  on June 18, 2021
4L2YWRMCKZ56NCRC44XVDZQ5BEKHX26C4GQZ5TIL35Y33VKFTBCQC
Add Commutative Group Interfaces
Created by  fabian  on June 16, 2021
QL75BDYCNRAF2NPJP3MJHUPM6JRIGJQWK2OG2NWKBOVZUZ75CHOAC
Typo in readme
Created by  fabian  on June 15, 2021
SFHV6MA5HOBGXGPVN4GTSUEBXHWBJQ7U5OWEWSFZLC2ZXPWC2S6AC
Add SupportPrimIntegerLit interface
Created by  fabian  on June 12, 2021
53I57WPJKAX7YSCLT6HM6PS6T2DHIO5Y4NFULRXWI5ZRG5UPMODQC
Add PrimInteger and Natural fromInteger
Created by  fabian  on June 12, 2021
OQYT367KXCQGIZPWQXNFQB627WJGYD6T5WF4KBBXQKHN2SXL554QC
Implement `Natural.divRem`
Created by  fabian  on June 11, 2021
XGXJVBQB7LVLGIHMQYZRP53X7XBKDXFM4TFWDF3ZFZRPMCYPF4IAC
Refactor
Created by  fabian  on June 11, 2021
3WLOPTAUKTLZP3B3DY6J7AKA4AKYGW34MGZRLWCKKR2Q6GUQTUPQC
Refactor
Created by  fabian  on June 11, 2021
WGQEJYGCJTGLKYTOBJNBPIOBFLQMO7XDVRSK7VFNG6GKE7FGAELAC
Refactor
Created by  fabian  on June 11, 2021
RUIGRXTKM6BQ532W7KU3RKDXMRNRGDVGMA2ODMX2D2F3PCLF3GAQC
Remove unnecesary `partial`s
Created by  fabian  on June 11, 2021
WFAN2WPLWIEEYWBI5UNGUSV5OCZZP5SVDHYPBUPXUAEXM7VAJOIAC
A lot of Natural Proofs
Created by  fabian  on June 11, 2021
BLJHEFB7SWAE4XB3GUAWA6TOVFKONOZO7URKJVSUNXGRXLKZHXOQC
Implement `minus` and part of `mult`
Created by  fabian  on June 11, 2021
TTGQ6KKFCCLVNZDOWWBOOXKEKMCELYB5ULXLXWY4THZMZCUASGWQC
Add `GTE` and `GT` to Preorder and Order
Created by  fabian  on June 11, 2021
TN3PKVP3EMBILQKHDKEJMCJU5U6E3BLDQMMIUV2WE3XQ4HTCPBRAC
Refactor
Created by  fabian  on June 11, 2021
WJJ6PMS6GYR5NIQI6Q6YH6WQSTJ3U56F3KZJOSYHTRAZ5MKIPXAAC
Implement `Natural.plus`
Created by  fabian  on June 11, 2021
LDJ4DDJZJV3W2UZIK6USOW5IADAWHDYM3EMZNCBFDKCXFYVS3WCAC
Implement `Order Natural`
Created by  fabian  on June 10, 2021
ZADJ47JPO7SQJNR5OMSJSYPUGDVBVHGBXZBEKTA7FEK7F5437MSAC
Refactor
Created by  fabian  on June 9, 2021
EL56EO4LYXMYS6JCOU5WVSYLAPTKIKFCHXPM4QBBFSMPTUENE5WQC
Implement Natural Preorder
Created by  fabian  on June 8, 2021
K6VKF3FC5BN3ODMH5GNGUTYN6NSNIUXYYOBMYKG2BMGXJOEKOH5AC
Add Natural
Created by  fabian  on June 8, 2021
XJZ5YZW6TIBBMPL2TGEA2ERD2UYZ4PIXNSV25ETLUVPLDM3RA5EQC
Move build dir to hidden directory
Created by  fabian  on June 7, 2021
GZM4F7IDIKCMBBCAP2OX7KS2YVTZ6W4M4A6WTOW724TL56UGPXIAC
Add README
Created by  fabian  on June 7, 2021
AU2S6ATKZGMBOR4TE5GNZT2GZKQQ7IELSGOGUOGA5XCKRJXBFAAAC
Create Verilude reexoprter
Created by  fabian  on June 7, 2021
6HEVMOBF3W2TXFODJOGEEKTF2KWUT72PXYCFGUZXDJFA2BSZSQZAC
Make a HelloWorld sample work
Created by  fabian  on June 7, 2021
NYMIFK2WBHU4G34QF4GZP63ATL2EQC6PLAQLWZMUTPDGDPQUEKVQC
Implement PrimIO, Control.IO, Control.Console
Created by  fabian  on June 7, 2021
YEPLQQC3GXCKIMKHMG4QF42ZVEBE3AV2P7MXD2FBA4XAJSQNIBEQC
Add missing `%default total` declarations
Created by  fabian  on June 7, 2021
AYH2HO67CJQTXMZO5JEFBXSDAVUH4NVX42VAQMPJIQUGX7UFW3IAC
Implement Boolean Semilattices
Created by  Fabián Heredia Montiel  on June 5, 2021
Y25HAVMY4WAD43DQ5PHLHUPDKW7X6DWJVP3VKYVQ3AE25S6ESSXAC
Add Semilattices
Created by  Fabián Heredia Montiel  on June 5, 2021
46ULZLRWCBDYLPE7Z4UU4G6ELIHVUWF7WUJIKBCMS3QVHTGA2L4QC
Implemente Data.Boolean Order
Created by  Fabián Heredia Montiel  on June 5, 2021
2DQ47UENKWPVS6XYO73Q2KCHTNG6GQVP2CKP24V2OQ4F4T3KAFMAC
Add Preorder and Order
Created by  Fabián Heredia Montiel  on June 4, 2021
LHFSZWK3U3RF4SBC2OY44PQ47GDELJ4NZOVRR2OBK3YVNNYKSDLAC
Refactor Algebra
Created by  Fabián Heredia Montiel  on June 4, 2021
4KXMGXQ6PTWVMINMKRCQE7DIJXUYMO7SVNR6AQ243QULY7IZLUYAC
Create Data.Either
Created by  Fabián Heredia Montiel  on June 4, 2021
CO3C7GSZ2X62ALXW2EAWDHCRSXCNVKIIHCL47GYZ32OHZER4NLZQC
Implement Boolean Monoids
Created by  Fabián Heredia Montiel  on June 3, 2021
GEBWJGHFGLPFE6PGT5D7W3PL57NPMQRPDUK54GTN4344W6QT7DPAC
Add `Data.LinkedList` `Monad` Instance
Created by  Fabián Heredia Montiel  on May 28, 2021
4WZ2PYVOKVZFB6Q44LR6APOSMZTUR566HI5IOFLDCA5C7RQRMFRAC
Implement `Data.Optional` `Monad` instance
Created by  Fabián Heredia Montiel  on May 28, 2021
XHAO2M2V7NLRMTG4WWRBOYMD6ACPYALUWGL7ST3PKU5LEH555C2AC
Create `Monad` interface
Created by  Fabián Heredia Montiel  on May 28, 2021
AXIWYERYL2PU4JVN5WBIGTOLCVB2R7DVILTRJHU7WNMYPWPJNAOAC
Reorder proofs in Applicative
Created by  Fabián Heredia Montiel  on May 26, 2021
XNMLOZPY2VS5RTP4CO2MN3LSOHL7UGGWO7MPI5ARMYFS5EJMLGOAC
Implement `Data.LinkedList` `Applicative` (Mostly)
Created by  Fabián Heredia Montiel  on May 26, 2021
PUFI27GBQLTD64UCR35JZOWINUF2A5BWFUI5G6ZQN3UFQZPZB54AC
Implement `LinkedList`'s `Monoid` interface
Created by  Fabián Heredia Montiel  on May 24, 2021
ZJMXCVWEW2XHBZGNQUHTW7JRIAEAE5UDTASSD75WJG55MDOUZ3MAC
Implement `Algebra.Group` interfaces
Created by  Fabián Heredia Montiel  on May 24, 2021
LKG7V6OC5VYTHY3YWWYMIDP5O6OQCWWSMHTMJKALLNQNPOVY375AC
Implement `Applicative` for `Data.Optional`
Created by  Fabián Heredia Montiel  on May 24, 2021
DNU6TYDJ7M3S62NXVOSK5TR4Q77SQRAS4T2VFLZALFIR2JARYS7QC
Fix `Equiv` signatures to take into account multiple implementations of interface
Created by  Fabián Heredia Montiel  on May 24, 2021
YE3EAD3XYKXRHEJN4VLBVBQM2EISKFHAESPOZ6S4QMLA6YZEVDQQC
Add `Algebra.Applicative`
Created by  Fabián Heredia Montiel  on May 24, 2021
VE7QTPXHFI2SKUADFYESQPELRZZF2JQRPLTFI4TL6J2PALARUO7QC
Add `Data.LinkedList`
Created by  Fabián Heredia Montiel  on May 24, 2021
K7TT3LDM6HYYXLSYFSJZRQZ6GOGTDJ7F5KFU7GBPJOKN2DHJLHMQC
Refactor to simplify Optional's decEquiv
Created by  Fabián Heredia Montiel  on May 24, 2021
ZQLW6BX54QFHXQHJTOQ7KW3TBNE6VZZGTD3FPUOLVULYRS66NGLQC
Add `Algebra.Functor`
Created by  Fabián Heredia Montiel  on May 23, 2021
7SFN5S4CUZZL523G6RHETVEJCJUIMXH2YPDTRKQWCGZTDYNWW4LQC
Add `Algebra.Equivalence`
Created by  Fabián Heredia Montiel  on May 23, 2021
6D4TYQRJMN6QEKASHJ3ZN3E7TXF5IEQ3G4ATTZZ5AZC56VXMWFZAC
Add `Not`
Created by  Fabián Heredia Montiel  on May 23, 2021
DIRQI2HA7RISGCHCMYIADD6B7PLORMDOUSEIE46B5EBCUCGNA25AC
Init
Created by  Fabián Heredia Montiel  on May 23, 2021
XNPLRKJ4ZK442XNJ5BC7TO3DKXGXFSOSGBZBPW5HZZDHY3IVD6FAC