Git Product home page Git Product logo

site-33's Introduction

site-33's People

Contributors

thautwarm avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar

site-33's Issues

git-related

git config --global core.whitespace cr-at-eol

ocaml+msys2

无法启动的问题:

File "command line", line 1:
Error: Unbound module Stdlib

see: msys2/MINGW-packages#12854

workaround:

CAMLLIB=$(cygpath -m $MINGW_PREFIX/lib/ocaml) ocaml

UCRT64 about article 'windows-workflow'

默认环境 ucrt64 or mingw64

你好,参考了一下你的那篇文章 “Windows上的Linux工作流搭建” ,感谢你的文章指导 : )
我目前准备将默认环境从 mingw64 换为 ucrt64,但是 shell prompt 好像部分 emoji 显示方块。不知道是不是那一步 “但暂且先不要执行msys2命令。”,可能初始化 msys2 的时候执行了某些步骤影响了这个。我也不太懂 msys2 初始化会执行哪些工作。


重新安装了一遍 msys2,并且第一次启动 msys2 用的 ucrt64 subshell,还是 emoji 部分问题...看来还是老老实实用 mingw64
0901

pattern matching use case

handling information stored in a sequence.

before:

info1 = seq[1]
info2 = seq[2]
....

info3 = seq[3:length(info2)+3]

after:

match seq with
| [info1, info2, args...] -> args[:length(info2)]

unexpected bugs from hard encoding ( seq[3:length(info2)+3]) is eliminated.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.