8000 TNTima · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View TNTima's full-sized avatar
0 followers · 1 following

Block or report TNTima

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
TNTima/README.md
  • 👋 Hi, I’m @TNTima
  • 👀 I’m interested in Funtional Programming
  • 🌱 I’m currently learning Agda
  • 💞️ I’m looking to collaborate ...
  • 📫 How to reach me ...

Popular repositories Loading

  1. TNTima TNTima Public

    Config files for my GitHub profile.

  2. Game-Theory-Hagl- Game-Theory-Hagl- Public 490E

    Forked from walkie/Hagl

    A Haskell DSEL for experimental game theory.

    Haskell

  3. Omega-Cats Omega-Cats Public

    выдает status code картинки запроса

    HTML

  4. DockerTest DockerTest Public

    Execting simple .NET console app in Docker container

    C#

  5. DockerTest2 DockerTest2 Public

    C#

  6. DockerTest3 DockerTest3 Public

    Testing Docker

    Dockerfile

0