Skip to content
View flukacs561's full-sized avatar
🏠
Working from home
🏠
Working from home
0 followers · 6 following
  • TNG

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report flukacs561

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
flukacs561/README.md
  • 👋 Hi, I’m Ferenc
  • 👀 I’m interested in functional programming and its mathematical foundations (mostly category theory)
  • 🌱 I’m currently learning dependent types with Agda

Pinned Loading

  1. lits lits Public

    Simple CLI tool for library (as in collection of books) management and tagging

    Haskell

  2. system system Public

    NixOS configuration

    Nix

  3. emacs emacs Public

    Emacs Lisp

  4. fscheme fscheme Public

    Haskell