3 ms·

Im off to a party, see you later HN

• tluyben2 5y ago
  I remember vaguely being young and friday nights meaning something different than other nights... Meanwhile I'm (in Portugal) trying to fix a dependent type tutorial that bit rotted.
  • dgellow 5y ago
    Idris?
    • tluyben2 5y ago
      No, I use Idris (2) quite a bit and am quite advanced at dependent types, however I was looking to go further and found [0] and a course using it, but that course uses a 4-5 year old version which has a lot of issues so I am fixing those. I already gave up running the project on a m1 (not really worth solving that issue as I have a x86 Linux machine anyway) so now I just puzzling to get all the stuff from the course to work. [0] https://github.com/siddhartha-gadgil/ProvingGround https://github.com/siddhartha-gadgil/ProvingGround
  • jll29 5y ago
    Don't know about other parts of PT, but Lisbon has too great a night life to spend Friday night debugging :)
• dgellow 5y ago
  Have a great time!