<link rel="stylesheet" href="/etc.clientlibs/settings/wcm/designs/ver/241115/intel/clientlibs/pages/get-help.min.css" type="text/css">
<link rel="stylesheet" href="/etc.clientlibs/settings/wcm/designs
discord-haskell
Haskell library for writing Discord bots
Featured Package // Category discord
Haskell jobs with Core Strats at Standard Chartered, various locations
Article Popular Story // discourse.
Issue 446 of the newsletter was published on 2024-11-14. Browse the archives for older issues.
The content on this site is licensed under a Creative Commons Attribution 4.0 International license. The
Thursday, November 14, 2024
The Haskell inlining and specialization FAQ
This is a post is an FAQ answering the most common questions people
ask me related to inlining and specialization. I’ve also str
2024-11-10 (Sun)
#1 Ltac2 でサブゴールを作る
Coq においてゴール (サブゴールを含む) とは証明項の中の穴であり、証明を進めるというのはその穴を埋めていくことである。
という素朴な理解でいままで済ましていたのだが、
Ltac2 でサブゴールを作るのにはこの理解では足りなくて、
いろいろ調べた。
やりたいのは、Ltac2 で証明項を作る際に、その中にはサブゴールを入れて
University as a visiting researcher and will start as an assistant professor at Aarhus University in
the spring of 2025. Have a look at my cv or this photo.
I study programming languages and type theo
bluefin-prevents-handles-leaking
Code and CI/CD, powered by the Atlassian platform
Elevate your software delivery from planning to production and beyond, with built-in AI, CI/CD, and a best-in-class Jira integration.
Try it now
Simpl
I write articles, host a podcast, and since March 2022
serve in the National Guard of Ukraine.
I also used to maintain several open source
packages.
A Splendid Scala Journey
My heartfelt thoughts, reflections, and notes on my 15 year Scala journey, and on what's next for me
Open and close the navigation menu
Why Bitbucket
Features
CI/CD
Cloud Security
DevSecOps
Code review
Integrations
Jira Integration
Atlassian Open DevOps
Product Guide
Get Started
Brief overview of Bit
Platonic C# - Managing Referential Transparency through Unique Types
The idea of Platonic C# is to enforce referential transparency within the context of C#, by enforcing a set of rules around default